Automatic Monitoring of Control-flow Through Inheritance Hierarchies
نویسندگان
چکیده
Polymorphism, based on inheritance and dynamic binding in standard object-oriented languages, is one of the most powerful mechanisms available to the OO designer. It allows the system designer to customize the behavior of functions defined in particular base classes by suitably redefining, in derived classes, other functions that they invoke. At the same time, polymorphism, especially when used in conjunction with the super mechanism that most OO languages provide, can result in extremely complex control-flow among the various methods defined in the various classes. In this paper, we develop an approach that can be used by the designer to automatically trace this control-flow. We also present results from a prototype implementation based on our approach.
منابع مشابه
Guru - A Tool for Automatic Restructuring of SelfInheritance
This paper 1 introduces Guru, a prototype tool for restructuring inheritance hierarchies in Self, while preserving the behavior of objects. Guru reverse engineers from existing inheritance hierarchies. Unlike previous work, Guru handles re-sends, redeened methods and the restructuring of only part of a system. Furthermore, Guru handles dynamic and cyclical inheritance, which are more speciic to...
متن کاملAutomatic Traffic Monitoring System Using Lane Centre Edges
Robust and reliable traffic monitoring system is an urgent need to improve traffic control and management. Vehicle flow detection appears to be an important part in traffic monitoring system. The traffic flow shows the traffic state in fixed time interval and helps to control the traffic. This paper proposes an automatic traffic monitoring system which is used for estimating the important traff...
متن کاملOptimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملAutomatic Monitoring of Memory Hierarchies in Threaded Applications with AMEBA
In this paper we present an approach to online automatic monitoring of memory hierarchies in threaded applications. Our environment consists of a monitoring system and an automatic performance analysis tool. The EPC monitoring system, uses static instrumentation of the source code and information from the hardware counters to generate performance data for selected code regions and data structur...
متن کامل